Typově bezpečné robotické systémy: Zlepšení řízení robotů pomocí robustních implementací typů

Typově bezpečné robotické systémy: Zlepšení řízení robotů pomocí robustních implementací typů | MLOG | MLOG